(1 resultados)
Ordenar por
ordenar por...
135,19€(IVA inc.)
Abstraction Refinement for Large Scale Model Checking
- Wang, Chao
- 978-1-4899-9395-3
- 2014-12-06